Project Acronym : QUASIMODO Deliverable no . : D 2 . 1 Title of Deliverable : Model - checking of real - time probabilistic models
نویسندگان
چکیده
This deliverable describes the first year results of the QUASIMODO project on analysing quantitative systems. Keyword list: Markov chain, Markov decision process, probabilistic bisimulation, probabilistic simulations; probabilistic timed automata; priced probabilistic timed automata; Continuous Time Markov Chains, inhomogeneous CTMC, Infinite state CTMC, counter-example guided abstractionrefinement ICT-FP7-STREP-214755 / QUASIMODO Page 2 of 21 Public
منابع مشابه
Acronym : QUASIMODO Deliverable no . : D 1 . 1 Title of Deliverable : Modelling Quantitative System Aspects
This deliverable describes the results of the QUASIMODO project on modelling quantitative system aspects. Keyword list: AADL, Arcade, architectural dependability evaluation, cost-bounded reachability, priced priced/weighted timed automata, probabilistic timed automata, probabilistic timed automata, probabilistic hybrid systems. ICT-FP7-STREP-214755 / QUASIMODO Page 2 of 12 Public
متن کاملAcronym : MEALS Deliverable no . : 1 . 3 / 2 Title of Deliverable : Probabilistic Bisimulation for Realistic Schedulers
Weak distribution bisimilarity is an equivalence notion on probabilistic automata, originally proposed for Markov automata. It has gained some popularity as the coarsest behavioral equivalence enjoying valuable properties like preservation of trace distribution equivalence and compositionality. This holds in the classical context of arbitrary schedulers, but it has been argued that this class o...
متن کاملAcronym : PACO - PLUS Deliverable no . : D 3 . 1 . 4 Title of the deliverable : Advances of human upper body and human grasp action representation
This report contains a single scientific publication that is relevant for the deliverable D3.1.4. This deliverable is concerned with deriving a representation of action on a higher abstraction level. The enclosed summary outlines the context of this work. Keyword list: action and grasp recognition, computer vision, robotics, AI, stochastic grammars
متن کاملDeliverable D 11 . 1 Report on Evaluation Studies
Project acronym: BOOTStrep Project full title: Bootstrapping Of Ontologies and Terminologies STrategic REsearch Project Proposal/Contract no.: FP6 028099 Duration: April 01, 2006 – March 31, 2009 Project coordinator: FSU Jena Website: www.bootstrep.eu Author: Su Jian, Shou Xiao Mang, Qiu Long, Upali Sathyajith Kohomban, Dilip Kumar Limbu (I2R) Vivian Lee, Jung-jae Kim, Piotr Pezik, Dietrich Reb...
متن کاملDeliverable-3.2 - Initial specification and proof of concept implementation of techniques to enhance performance and resource utilization in networks
Project acronym: PRISTINE Project full title: PRogrammability In RINA for European Supremacy of virTualIsed NEtworks Website: www.ict-pristine.eu
متن کامل